First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
761	Rule Categories for Collection/Item Metadata Relationships Karen M. Wickett1, Allen H. Renear2, Richard J. Urban3 Center for Informatics Research in Science and Scholarship Graduate School of Library and Information Scie Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 19:27:47 Data modeling Programming paradigms Data management Knowledge representation Metadata Technical communication Attribute grammar Attribute First-order logic Computing Software engineering Information
762	NaturalLI: Natural Logic Inference for Common Sense Reasoning Gabor Angeli Stanford University Stanford, CA[removed]removed] Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2014-09-12 13:02:07 Entailment Argument First-order logic Logic Logical consequence Inference
763	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic
764	A Technique for Analyzing the Effects of Changes in Formal Specifications Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:03:24 Predicate logic Propositional calculus Semantics Model theory First-order logic Cross-linked polyethylene Function Predicate Propositional formula Logic Mathematical logic Mathematics
765	Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-05-06 21:18:00 Monotonicity of entailment Entailment Inference First-order logic Formal semantics Monotonic function Argument Semantic reasoner Logic Logical consequence Textual entailment
766	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-10-09 13:21:20 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
767	Weakly Supervised Learning of Semantic Parsers for Mapping Instructions to Actions Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-09 19:51:28 Semantics Predicate logic Formal languages Model theory Computational linguistics First-order logic Parsing Combinatory categorial grammar Combinatory logic Logic Mathematics Mathematical logic
768	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
769	Computational Semantics in the Natural Language Toolkit Ewan Klein School of Informatics University of Edinburgh Scotland, UK [removed] Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-11-21 07:43:16 Model theory Predicate logic Semantics Quantification Philosophical logic First-order logic Interpretation Lambda calculus Function Logic Mathematical logic Mathematics

UPDATE